<div id=test></div>
<script src="../include.js"></script>
<script>
    test(() => {
        let element = document.getElementById('test');
        element.innerHTML = "<details><summary></summary></details>";
        println(element.innerHTML);
    });
</script>
